специалист по логике или логическому проектированию

Information technology: logician